-
1 мощность логического вывода
Русско-английский большой базовый словарь > мощность логического вывода
-
2 мощность логического вывода
Information technology: inference capacityУниверсальный русско-английский словарь > мощность логического вывода
-
3 мощность логического вывода
Русско-английский словарь по вычислительной технике и программированию > мощность логического вывода
-
4 мощность
1. ж. power2. ж. мат. cardinality, cardinal number3. ж. capacity4. ж. thicknessСинонимический ряд:силы (сущ.) мощи; силы -
5 проектная мощность
1. estimated capacity2. rated capacity3. rated power4. designed capacityРусско-английский большой базовый словарь > проектная мощность
-
6 полная мощность
1. gross power2. ultimate capacity3. total output[lang name="Russian"]максимальная мощность; конечная продукция — ultimate output
-
7 избыточная мощность
1. excess capacity2. surplus capacity3. wasted capacityРусско-английский большой базовый словарь > избыточная мощность
-
8 установленная мощность
1. installed capacity2. total capacityРусско-английский большой базовый словарь > установленная мощность
-
9 работа на полную мощность
1. capacity operation2. capacity operationsРусско-английский большой базовый словарь > работа на полную мощность
-
10 относительная мощность
-
11 отключаемая мощность
Русско-английский новый политехнический словарь > отключаемая мощность
-
12 производственная мощность
Русско-английский новый политехнический словарь > производственная мощность
-
13 производственная мощность
Русско-английский военно-политический словарь > производственная мощность
-
14 пусковая мощность
Русско-английский военно-политический словарь > пусковая мощность
-
15 мгновенная мощность
Русско-английский словарь по информационным технологиям > мгновенная мощность
-
16 производственная мощность
Русско-английский словарь по информационным технологиям > производственная мощность
-
17 проектная мощность
Авиация и космонавтика. Русско-английский словарь > проектная мощность
-
18 работа на полную мощность
Бизнес, юриспруденция. Русско-английский словарь > работа на полную мощность
-
19 неиспользуемая мощность
Русско-английский большой базовый словарь > неиспользуемая мощность
-
20 производственные мощности
1. facilities2. productive capacity3. productive capacitРусско-английский большой базовый словарь > производственные мощности
- 1
- 2
См. также в других словарях:
Апории Зенона — … Википедия
Индия — (на языке хинди Бхарат) официальное название Республика Индия. I. Общие сведения И. государство в Южной Азии, в бассейне Индийского океана. И. находится на важнейших морских и воздушных коммуникациях,… … Большая советская энциклопедия
Сколем Туральф Альберт — Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, ‒ 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… … Большая советская энциклопедия
Сколем — Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… … Большая советская энциклопедия
Электроника-60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по … Википедия
определение — 2.7 определение: Процесс выполнения серии операций, регламентированных в документе на метод испытаний, в результате выполнения которых получают единичное значение. Источник … Словарь-справочник терминов нормативно-технической документации
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия
Электроника 60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по ? Процессор М2 Память 4К слов при поставке, максимально адресуемая 32К сл … Википедия
Commodore 64 — Тип Персональный компьютер Выпущен Август 1982 … Википедия
ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — последовательность высказываний, часть которых является ее исходными утверждениями аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них дедукция, математическая индукция, правило подстановки) или вводятся с … Философия науки: Словарь основных терминов